formal system

[ˈfɔ:məl ˈsistəm]
[网络] 形式系统;形式体系;规范化管理系统